Ontology Debugging with Truth Maintenance Systems
نویسندگان
چکیده
An ontology is a description of a particular domain in terms of its concepts and relationships. Ontologies can be used by ‘intelligent agents’ to model their environment and communicate with other agents. The quality of ontologies are therefore crucial to the performance of intelligent agents. However, as with any other knowledge base, there is always the possibility that an ontology have some semantic defects. This abstract presents an approach to ontology debugging using ideas borrowed from Truth Maintenance Systems (TMS).
منابع مشابه
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System
The problem of axiom pinpointing [1, 22], that is, finding the minimal set of axioms responsible for an unwanted consequence, is an important problem in ontology debugging. One approach to identifying the axioms responsible for an unwanted consequence is to trace dependencies between inferences leading to the consequence. Several authors have proposed truth maintenance systems as a means of kee...
متن کاملReasonable Macros for Ontology Construction and Maintenance
Creating and maintaining ontology knowledge bases are difficult processes that can be improved by using macro or templating languages that help structure the ontology engineering task and reduce unnecessary repetitions of ontology patterns. However, since the templates themselves need to be created and maintained, suitable tool support for their maintenance is vital in order to ensure the quali...
متن کاملCatalogue of Anti-Patterns for formal Ontology debugging
Debugging of inconsistent OWL ontologies is normally a tedious and time-consuming task where a combination of ontology engineers and domain expert is often required to understand whether the changes to be performed in order to make the OWL ontology consistent are actually changing the intended meaning of the original knowledge model. This task is aided by existing ontology debugging systems, in...
متن کاملRepairing Ontology Mappings
Automatically discovering semantic relations between ontologies is an important task with respect to overcoming semantic heterogeneity on the semantic web. Existing ontology matching systems, however, often produce erroneous mappings. In this paper, we address the problem of errors in mappings by proposing a completely automatic debugging method for ontology mappings. The method uses logical re...
متن کاملORE - A Tool for Repairing and Enriching Knowledge Bases
While the number and size of Semantic Web knowledge bases increases, their maintenance and quality assurance are still difficult. In this article, we present ORE, a tool for repairing and enriching OWL ontologies. State-ofthe-art methods in ontology debugging and supervised machine learning form the basis of ORE and are adapted or extended so as to work well in practice. ORE supports the detect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010